1. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
2. Network analysis : methodological foundations

by Brandes, Ulrik | Erlebach, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
3. Mathematical foundations of computer science 2003: 28th INternational symposium, MFCS 2003 Bratislava, Solvakia, August 25-29, 2003: Proceeedings

by Rovan, Branislav | Vojtas, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ROV] (1).
4. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
5. Graph Theoretic Concepts in Computer Science

by Widmayer, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 WID] (1).

Powered by Koha